退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Filmstripping和Unrolling:UmL和OCL行为模型验证方法的比较
Frank Hilken; Martin Gogolla; Robert Wille;
机译:使用可满足性求解器验证UML / OCL模型中的结构和行为
机译:UML / OCL模型的增量验证
机译:UML / OCL模型的自动验证和验证中的框架条件:仅修改语句的符号表示
机译:Filmstripping和展开:UML和OCL行为模型的验证方法的比较
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:新的方法来研究问题行为:方法建模纵向的比较范畴青少年饮酒行为数据
机译:使用可满足求解器验证UML / OCL模型中的结构和行为
机译:软件行为建模设备,软件行为建模方法,软件行为验证设备和软件行为验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。